Some Compact Logics - Results in ZFC
نویسندگان
چکیده
منابع مشابه
Localizing the axioms
We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by Loc(ZFC), says that every set belongs to a transitive model of ZFC. LZFC consists of Loc(ZFC) plus some elementary axioms forming Basic Set Theory (BST). Some theoretical reasons for this shift of view are given. All Π2 consequences of ZFC are provable in LZFC. LZFC strongl...
متن کاملCompact Logics in Zfc: Constructing Complete Embeddings of Atomless Boolean Rings
Suppose for simplicity that T is first order with Skolem functions in strong enough sense. We prove, in ZFC, that is has a model B in which for any two atomless Boolean algebras definable in it, any isomorphism or even complete embedding from one to the other is definable in the model. This has consequences on the compactness of logics gotten by extending first order logic by quantifying over s...
متن کاملOn the Product of Homogeneous Spaces*
Within the class of Tychonoff spaces, and within the class of topological groups, most of the natural questions concerning ‘productive closure’ of the subclasses of countably compact and pseudocompact spaces are answered by the following three well-known results: (1) [ZFC] There is a countably compact Tychonoff space X such that X XX is not pseudocompact; (2) [ZFC] The product of any set of pse...
متن کاملThe Hanf numbers of stationary logic II: Comparison with other logics
We show the ordering of the Hanf number of Lω,ω(wo), (well ordering) Lω,ω (quantification on countable sets), Lω,ω(aa) (stationary logic) and second order logic, has no more restraints provable in ZFC than previously known (those independence proofs assume CON(ZFC only). We also get results on corresponding logics for Lλ,μ. The author would like to thank the BSF and NSREC for partially supporti...
متن کاملOrder-theoretic Properties of Bases in Topological Spaces I
We study some cardinal invariants of an order-theoretic fashion on products and box products of topological spaces. In particular, we concentrate on the Noetherian type (Nt), defined by Peregudov in the 1990s. Some highlights of our results include: (1) There are spaces X and Y such that Nt(X×Y ) < min{Nt(X), Nt(Y )}. (2) In several classes of compact spaces, the Noetherian type is preserved by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003